Branching cells for asymmetric event structures
نویسندگان
چکیده
منابع مشابه
Branching cells for asymmetric event structures
We introduce branching cells for Asymmetric Event Structures. They provide a way to decompose maximal configuration in a dynamic way through elementary steps representing elementary choices made during a computation run.
متن کاملAn Axiomatization of Well Branching Prime Event Structures an Axiomatization of Well Branching Prime Event Structures
We develop a tense logic for reasoning about the occurrences of events in a sub-class of prime event structures called well branching event structures. The well branching property ensures that two events being in connict can always be traced back | via the causality relation | to two events being in minimal connict. Two events are in minimal connict if they are in connict and their \uniied" pas...
متن کاملProbabilistic models for true-concurrency: branching cells and distributed probabilities for event structures
This paper is devoted to true-concurrency models for probabilistic systems. By this we mean probabilistic models in which Mazurkiewicz traces, not interleavings, are given a probability. Here we address probabilistic event structures. We consider a new class of event structures, called locally finite. Locally finite event structures exhibit “finite confusion”; in particular, under some mild con...
متن کاملProbabilistic True-Concurrency Models Branching Cells and Distributed Probabilities for Event Structures
This paper is devoted to true-concurrency models for probabilistic systems. By this we mean probabilistic models in which Mazurkiewicz traces, not interleavings, are given a probability. Here we address probabilistic event structures. We consider a new class of event structures, called locally finite. Locally finite event structures exhibit “finite confusion”; in particular, under some mild con...
متن کاملTrue-concurrency probabilistic models: Branching cells and distributed probabilities for event structures
This paper is devoted to probabilistic models for concurrent systems under their true-concurrency semantics. Here we address probabilistic event structures. We consider a new class of event structures, called locally finite, that extend confusion-free event structure. In locally finite event structures, maximal configurations can be tiled with branching cells: branching cells are minimal and fi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2014
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2014.02.044